In-system programming - PDFSEARCH.IO - Document Search Engine

In-system programming
Results: 1455

#	Item
251	Technical Information zedas®asset zedas®asset – the technical plant management for hoisting technology in the Gotthard base tunnel Add to Reading List Source URL: www.siemag-tecberg.com Language: English - Date: 2013-12-02 05:35:17 Computing Information technology management Application programming interfaces System administration OLE for process control Maintenance repair and operations Server Downtime Maintenance Automation Technology
252	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.parentingamerica.com Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
253	Using a diploid genetic algorithm to create and maintain a complex system in dynamic equilibrium Robert Schafer Stanford University 108H McFarland Court Add to Reading List Source URL: www.genetic-programming.org Language: English - Date: 2006-11-17 21:29:22 Genetics Selection Cybernetics Population genetics Classical genetics Dominance Fitness Natural selection Genetic algorithm Biology Evolutionary biology Philosophy of biology
254	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: mirrors.nics.utk.edu Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
255	Curriculum Vitæ Nadav Har’El Basic information: Born: February 28th , 1975. E-Mail: Add to Reading List Source URL: harel.org.il Language: English - Date: 2014-12-04 02:44:18 Science and technology in Israel Programming language implementation Virtual machine Technion Hypervisor Paravirtualization Unix System software Software Haifa
256	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.csie.ntu.edu.tw Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
257	SATISFIABILITY-BASED PROGRAM REASONING AND PROGRAM SYNTHESIS by Saurabh Srivastava 1 Revised Add to Reading List Source URL: www.cs.umd.edu Language: English - Date: 2010-10-26 18:47:17 Formal methods Logic in computer science Electronic design automation Constraint programming Satisfiability Modulo Theories Reasoning system Formal verification Solver Algorithm Theoretical computer science Applied mathematics Mathematics
258	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
259	A (Not So) Short Introduction to S4 Object Oriented Programming in R V0.5.1 Christophe Genolini August 20, 2008 Add to Reading List Source URL: cran.salud.gob.sv Language: English - Date: 2008-08-20 09:09:33 Object-oriented programming Object Common Lisp Object System Constant Type system Mutator method Self Object model Prototype-based programming Software engineering Computer programming Computing
260	THE EIFFEL LIBRARY STANDARD VINTAGE 95 Report identification TR-EI-48/KL: The Eiffel Library Standard. (Earlier title: The Proposed Eiffel Library Kernel Standard). Prepared for the Nonprofit International Consortium fo Add to Reading List Source URL: www.eiffel-nice.org Language: English - Date: 2014-10-22 11:03:56 Logic in computer science Object-oriented programming Eiffel Subroutines Postcondition Precondition Assertion Parameter Operating system Software engineering Computer programming Computing